PROLOG

"Contrariwise", continued Tweedledee, "If it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic."
--> Lewis Carroll

Under Capitalism man exploits man; under Socialism the reverse is true.
--> Polish "proverb" 

Under Capitalism, man exploits man. Under Communism, it's just the opposite.
--> John Kenneth Galbraith (?)

FAQs:
Jamie Andrews:
ftp://rtfm.mit.edu/pub/usenet/news.answers/prolog/
http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.faq.html
http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/faq/faq.html

Mark Kantrowitz :
http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html
http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.resource-guide.part1.html
http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.resource-guide.part2.html

Page:
http://www.cambridge.apple.com/other-langs/prolog.html

                                                 1. JB-Prolog
 
MAC NAME: JB-Prolog 2.1 Demo System for the Macintosh                                      

VERSION - UPDATE: 2.1.2  (01-25-94)

README:
"JB-Prolog 2.1 is a slim and powerful prolog interpreter. It is currently available for the MacIntosh where it comes with a programming environment described in the User's Manual."

AUTHORS:
Jan Burse
    
COPYRIGHT:
(c)   XLOG: Jan Burse

TYPE:
Freeware

INTERNET SITES:
Original site:
ftp://ftp.cs.cmu.edu/user/ai/lang/prolog/impl/prolog/jbprolog/
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/jbprolog/

                                              2. Open Prolog 

VERSION - UPDATE: 1.0.3.d31 (04-10-96)                                 

README:
"Open Prolog is an implementation of Edinburgh-syntax Prolog. ....
Open Prolog supports most of the features of DEC Prolog or C-Prolog, including Definite Clause Grammars. The 'logical' assert and retract semantics of Lindholm & O'Keefe are implemented."
"This replaces all previous versions, and has bug fixes, speed improvements, new predicates and a prototype dialog box handler."

AUTHOR:
Michael Brady
    
COPYRIGHT:
(c) 1986 - 96 Michael Brady

TYPE:
Freeware (: Postcardware)

INTERNET SITES:
Original site:
ftp://ftp.cs.tcd.ie/pub/languages/open-prolog/
ftp://ftp.cs.tcd.ie/pub/mac/open-prolog/

Other sites :
Info-Mac

                                          3. MacProlog (Demo) 
                                                       TPM

NAMES: 
archived file: TPM1.11.sea.hqx
  
VERSION - UPDATE: 
MacProlog 3.5  (07-07-92) 
TPM 1.11  (Sept. 91)                               

README:
"The version of MacPROLOG included here is a 1991 demo version.  Being a demo version it has certain restrictions, but these do not affect anything you might need to do for this course."

"A clear and consistent execution model of any programming language can lay the foundations not only for a good learning experience, but also for a smoother design/edit/run/debug cycle.  The Transparent Prolog Machine was developed in attempt to construct precisely such a model for the logic programming language Prolog, based upon a notational extension of logic programming’s traditional AND/OR trees."

AUTHORS:

MacProlog:
Logic Programming Associates

TPM:
Marc Eisenstadt 
Mike Brayshaw
mac version:
Fred Kwakkel
    
COPYRIGHT:
LPA MacPROLOG™  (c) 1984-1991, Logic Programming Associates, Ltd. (UK)
TPM for Macintosh (c) 1991, The Open University (UK)

TYPE:
Freeware demo version

INTERNET SITES:
Original site:
ftp://hcrl.open.ac.uk/pub/software/mac/

Other sites  (macprolog  v.3.0):
ftp://aisun1.ai.uga.edu/pub/prolog/
ftp://ai.uga.edu/pub/prolog/
ftp://ftp.cs.cmu.edu/user/ai/lang/prolog/impl/prolog/mac_pl/
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/mac_pl

                                               4. Tricia Prolog 

VERSION - UPDATE: 0.9.5a31  (03-24-94)                                

README: 
"This is Tricia 0.9.5, a Prolog system for Macintosh (and U**X) computers developed at the Computing Science Department of Uppsala University." 

AUTHORS:
Jonas Barklund
Monika Danielsson
Jan Gabrielsson
Per Mildner
Per-Eric Olsson
Jan Wuensche
    
COPYRIGHT:
(c)  1989 - 1993  Computing Science Dept.
Uppsala University, Uppsala,Sweden 

TYPE:
Public Domain

INTERNET SITES:
Original site:
ftp://ftp.csd.uu.se/pub/Tricia/Mac/